Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments

In this paper we promote introducing software verification and control flow graph similarity measurement in automated evaluation of students' programs. We present a new grading framework that merges results obtained by combination of these two approaches with results obtained by automated testing, leading to improved quality and precision of automated grading. These two approaches are also useful in providing a comprehensible feedback that can help students to improve the quality of their programs We also present our corresponding tools that are publicly available and open source. The tools are based on LLVM low-level intermediate code representation, so they could be applied to a number of programming languages. Experimental evaluation of the proposed grading framework is performed on a corpus of university students' programs written in programming language C. Results of the experiments show that automatically generated grades are highly correlated with manually determined grades suggesting that the presented tools can find real-world applications in studying and grading

A diagrammatic presentation of the category 3Cob

A category equivalent to the category of 3-dimensional cobordisms is defined in terms of planar diagrams. The operation of composition in this category is completely described via these diagrams.Comment: 26 page

Radon Exhalation Rates of Some Granites Used in Serbia

In order to address concern about radon exhalation in building material, radon exhalation rate was determined for different granites available on Serbian market. Radon exhalation rate, along with mass exhalation rate and effective radium content were determined by closed chamber method and active continuous radon measurement technique. For this research, special chambers were made and tested for back diffusion and leakage, and the radon concentrations measured were included in the calculation of radon exhalation. The radon exhalation rate ranged from 0.161 Bq/m(2)h to 0.576 Bq/m(2)h, the mass exhalation rate from 0.167 Bq/kgh to 0.678 Bq/kgh, while the effective radium content was found to be from 12.37 Bq/kg to 50.23 Bq/kg. The results indicate that the granites used in Serbia have a low level of radon exhalation

Reducing the Sodium Chloride Content in Chicken Pate by Using Potassium and Ammonium Chloride

AbstractThe aim of this research was to investigate possibility of chicken pate production with reduced sodium chloride content, as well as to establish changes in sensory characteristics. In the study, six experimental groups of chicken pate were produced with the same basic ingredients, but different amounts of added salts. Sensory evaluation was performed in order to determine general taste acceptability, and of the sodium and potassium levels in the chicken pate. The pate from EI and EII groups in which the amount of added sodium chloride was reduced and/or partially substituted with ammonium chloride had a most acceptable taste

Interpretable Medical Diagnostics with Structured Data Extraction by Large Language Models

Tabular data is often hidden in text, particularly in medical diagnostic reports. Traditional machine learning (ML) models designed to work with tabular data, cannot effectively process information in such form. On the other hand, large language models (LLMs) which excel at textual tasks, are probably not the best tool for modeling tabular data. Therefore, we propose a novel, simple, and effective methodology for extracting structured tabular data from textual medical reports, called TEMED-LLM. Drawing upon the reasoning capabilities of LLMs, TEMED-LLM goes beyond traditional extraction techniques, accurately inferring tabular features, even when their names are not explicitly mentioned in the text. This is achieved by combining domain-specific reasoning guidelines with a proposed data validation and reasoning correction feedback loop. By applying interpretable ML models such as decision trees and logistic regression over the extracted and validated data, we obtain end-to-end interpretable predictions. We demonstrate that our approach significantly outperforms state-of-the-art text classification models in medical diagnostics. Given its predictive performance, simplicity, and interpretability, TEMED-LLM underscores the potential of leveraging LLMs to improve the performance and trustworthiness of ML models in medical applications

The LSST AGN Data Challenge: Selection methods

Development of the Rubin Observatory Legacy Survey of Space and Time (LSST) includes a series of Data Challenges (DC) arranged by various LSST Scientific Collaborations (SC) that are taking place during the projects preoperational phase. The AGN Science Collaboration Data Challenge (AGNSCDC) is a partial prototype of the expected LSST AGN data, aimed at validating machine learning approaches for AGN selection and characterization in large surveys like LSST. The AGNSC-DC took part in 2021 focusing on accuracy, robustness, and scalability. The training and the blinded datasets were constructed to mimic the future LSST release catalogs using the data from the Sloan Digital Sky Survey Stripe 82 region and the XMM-Newton Large Scale Structure Survey region. Data features were divided into astrometry, photometry, color, morphology, redshift and class label with the addition of variability features and images. We present the results of four DC submitted solutions using both classical and machine learning methods. We systematically test the performance of supervised (support vector machine, random forest, extreme gradient boosting, artificial neural network, convolutional neural network) and unsupervised (deep embedding clustering) models when applied to the problem of classifying/clustering sources as stars, galaxies or AGNs. We obtained classification accuracy 97.5% for supervised and clustering accuracy 96.0% for unsupervised models and 95.0% with a classic approach for a blinded dataset. We find that variability features significantly improve the accuracy of the trained models and correlation analysis among different bands enables a fast and inexpensive first order selection of quasar candidatesComment: Accepted by ApJ. 21 pages, 14 figures, 5 table